complexCons is package{
  -- test a complex cons expression
    
  dbl(X) is X+X;
  
  maxx has type (integer)=>integer;
  maxx(X) where X>10 is X;
  maxx(X) default is 10;
  
  L0 is nil;
  
  L1 is cons(id,L0);
  
  L2 is cons(dbl,L1);
  
  L3 is cons(maxx,L2);
  
  assert size(L3)=3;
}